a satisfies T;
